($\lambda$$A$,$l$,$x$,$z$. $x$.$l$) $\in$ $A$:Type$\rightarrow$($A$ List)$\rightarrow$$A$$\rightarrow\downarrow$True$\rightarrow$$A$ List$^{+}$